interprocedural analysis
英
美
网络 过程间分析; 程序间分析
双语例句
- A contract-based method for C and C++ interprocedural safety analysis is proposed.
针对C/C++程序安全漏洞，提出了一种基于契约的跨过程安全分析方法。 - The idea of demand interprocedural data flow analysis is also presented.
并简要地介绍了所提出的需求过程间数据流分析的方法。 - By integrating information into traditional interprocedural analysis, the nesting type information of procedures is propagated along call graphs.
可以使得嵌套类型信息在过程调用图中进行传播。 - Flow-insensitive Interprocedural Alias Analysis
流非敏感的跨过程的别名分析 - A contract-based interprocedural safety analysis method
一种基于契约的跨过程安全分析方法 - Context Sensitive Interprocedural Pointer Analysis
上下文敏感的过程间指针分析 - A framework for interprocedural data-flow analysis
一个过程间数据流分析的框架 - A framework for interprocedural pointer alias analysis is described. It handles function pointers by constructing the program call graph while alias analysis is being performed.
描述了跨过程指针别名分析的框架，通过在分析时创建PCG（程序调用图）来处理函数指针。 - To im-prove efficiency, flow-insensitive interprocedural analysis do not make use of the intraprocedural control flow information associated with individual procedures.
为了提高效率，流非敏感的跨过程分析没有利用与每个过程相关的过程内的控制流信息。 - In this paper, we want to discuss the design thought and implement method of whole-program data flow analysis tool by the researching of interprocedural analysis technique.
论文旨在通过对过程间数据流分析技术的研究，探讨全程数据流分析工具的设计思想和实现方法。 - This paper constructs a instance of PCP problem of the concurrent interprocedural program analysis problem, but with only two concurrent tasks.
本文利用反射的思想，仅仅用两个并发任务构造了该问题的一个PCP问题实例，证明了在两个并发任务的情况下，过程间并发程序分析是一个不可判定问题。 - Along with the more developed and effective methods of interprocedural analysis and optimization, there must be more compilers to be applied with these techniques.
随着更成熟和更有效的过程间分析和优化方法的出现，将会有更多的编译器采用这个技术。 - At present, the model and arithmetics of interprocedural analysis is still in discussing, and there is still not one concise, united, expressive interprocedural analysis model.
目前，过程间分析的模型和算法仍然在探讨之中，还没有针对过程间分析的一个简明、统一、表现力强的过程间分析问题模型。 - We present some classical theories about interprocedural analysis and optimization, including call multigraph construction, inline substitution and procedure cloning, and interprocedural information ( side-effect summary sets, alias information and interprocedural constant).
然后，我们对过程间分析和优化的一些经典的理论，包括调用图的构造，内联替换和过程克隆，过程间信息（副作用摘要集合，别名和过程间常量）作了介绍。 - Pattern matching utilizes abstract syntax tree isomorphism algorithm; Pointer semantics determines the semantics of programs through semantic constraints to check out security vulnerabilities; Interprocedural analysis adopts summary-based context sensitive analysis.
模式匹配采用了抽象语法树同构判断算法；指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的；跨过程分析采用基于总结的上下文敏感分析方法。